analytic program proving
[计] 解析程序证明
热门查询
- smothered vt. 使窒息；抑制；（用灰等）闷熄；忍住 vi. 窒息；被抑制；闷死 n. 窒息状态；令人窒息的浓烟
- fleetingly adv. 疾驰地；飞快地；短暂地
- crimp n. 卷发；皱褶；抑制；束缚 vt. 使卷曲；使有褶
- ascendency n. 优势；权势；优越
- protectively adv. 保护地；防护地
- microworld 微型世界；微观世界
- sprinkling n. 少量；点滴；喷雾 v. 洒；点缀（sprinkle的现在分词）
- immorality n. 不道德；无道义；伤风败俗的行为
- snobbery n. 势利，谄上欺下；摆绅士架子；势利的行为或语言
- enterocyte 肠上皮细胞
- Annandale 安南达尔（弗吉尼亚东北部一城市，是亚历山大和华盛顿特区的郊区。人口50， 975）
- hubristic a. 傲慢的, 目中无人的。
- unintelligibility n. 不清晰度
- economize vi. 节约，节省；有效地利用 vt. 节约，节省；有效地利用
- moussaka n. 肉和茄子做成的希腊菜
- novelette n. 中篇小说
- vacuole n. [细胞] 液泡；[地质] 空泡
- Beaumaris 博马里斯
- Sontag 针织披肩[斗篷]
- unseasonal adj. 非季节性的
考试词汇表
- dusty purlieus of the law
- dutch east indian company
- dutch staatsmijnen screen
- duties on buyer's account
- duty in the sliding scale
- dwarf birch (betula nana)
- dwarf spheroidal galaxies
- dwell in someone's memory
- dwelling contents floater
- dwindle away into nothing
- dycmos integrated circuit
- dye bleaching-out process
- dye dilution curve method
- dye exclusion test letter
- dye penetrant examination
- dye penetrator inspection
- dye receptive polar group
- dye transfer process film
- dyed cambric,resin-finish
- dyed jean for emery cloth
